681. Structural Optimization : Proceedings of the IUTAM Symposium on Structural optimization, Melbourn, Australia, 9-13 February 1988
پدیدآورنده : Edited by G.I.N. Rozvany and B.L. Karihaloo
موضوع : Civil Engineering Structures. Design Applications of Computer System
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
682. #Structural wood detailing in CAD format
پدیدآورنده : #K.A. Zayat
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Building, Wooden- Data processing ،Structural engineering- Data processing ،Computer-aided design
رده :
#
TH
،#.
Z38
683. Structural wood detailing in CAD format
پدیدآورنده : Zayat, Kamel A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Building, Wooden,Data processing ، Structural engineering,، Computer-aided design
رده :
TH
1111
.
Z38
1993
684. Study guide for applied finite Mmathematics
پدیدآورنده : by Nicholas A. Macri.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer integrated manufacturing systems-- Examinations, Study guides.,Engineering design-- Data processing.,Manufacturing processes-- Automation.
685. Surfaces in computer aided geometric design: proceedings of a conference held at Mathematisches Forschungsinstitut Oberwolfach, Federal Republic of Germany, April 25-30, 1982
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Computer graphics,Congresses ، Engineering design--Data processing,Congresses ، Surfaces--Data processing
رده :
T
385
.
S827
1983
686. Symbolic Simulation Methods for Industrial Formal Verification
پدیدآورنده : by Robert B. Jones.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Electronic data processing.,Engineering.,Systems engineering.
687. Synthesis and Control of Discrete Event Systems
پدیدآورنده : edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-aided design.,Engineering.,Systems theory.
رده :
QA402
.
E358
2002
688. Synthesis of Embedded Softwar
پدیدآورنده : edited by Sandeep K. Shukla, Jean-Pierre Talpin
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Engineering,Computer aided design,Systems engineering,Engineering,Circuits and Systems,Computer-Aided Engineering (CAD, CAE) and Design
689. Synthesis of Finite State Machines
پدیدآورنده : by Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
690. Synthesis of Power Distribution to Manage Signal Integrity in Mixed-Signal ICs
پدیدآورنده : by Balsha R. Stanisic, Rob A. Rutenbar, L. Richard Carley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
691. System Analysis and Modeling: About Models
پدیدآورنده : edited by Frank Alexander Kraemer, Peter Herrmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
692. System design with SystemC /
پدیدآورنده : Thorsten Grötker ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C++ (Computer program language),System design.,Computer Hardware.,Computer Science.,Computer-Aided Engineering (CAD, CAE) and Design.,Electronic and Computer Engineering.
رده :
QA76
.
9
.
S88
S9525
2002
693. System-on-Chip for Real-Time Applications
پدیدآورنده : edited by Wael Badawy, Graham Jullien.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
694. SystemC and SystemC-AMS in Practice
پدیدآورنده : \ Amal Banerjee, Balmiki Sur
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : System design,Systems engineering,طراحی سیستم,مهندسی سیستم‌ها, -- Computer programs, -- برنامه‌های کامپیوتری,a03,a04,a03,a04
رده :
E-Book
,
695. SystemVerilog For Design
پدیدآورنده : by Stuart Sutherland, Simon Davidmann, Peter Flake.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
696. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
پدیدآورنده : Mehta, Ashok B., Ashok B. Mehta
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
رده :
TK7885
.
7
697. Systems engineering using SDL-92 /
پدیدآورنده : Anders Olsen ... [and others]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : SDL (Computer program language),Systems engineering-- Data processing,Telecommunication-- Switching systems-- Design and construction-- Data processing
رده :
TK5103
.
8
.
S97
1994
698. TAPSOFT '95:
پدیدآورنده : edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
699. TEDIUM and the software process /
پدیدآورنده : Bruce I. Blum.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Medical informatics.,Software engineering.,TEDIUM (Computer system),Medical Informatics.,Software Design.,Software.,Medical informatics.,Software engineering.,TEDIUM (Computer system)
رده :
R859
.
7
.
T45
B58
1990
700. Technical drawing 101 with AutoCAD 2017 :
پدیدآورنده : Douglas Smith, Professor, Architectural and Engineering Computer Aided Design, Austin Community College ; Antonio Ramirez, Professor Emeritus, Architectural and Engineering Computer Aided Design, Austin Community College ; Ashleigh Fuller, Adjunct Professor, Architectural and Engineering Computer Aided Design, Manager, Computer Aided Design Training Center, Austin Community College.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : AutoCAD.,AutoCAD.,Computer-aided design.,Engineering graphics.,Computer-aided design.,Engineering graphics.
رده :
T385
.
Sm54
2016
